>>577
閉じた系の中ではその証明は外部に頼らざるをえんのです