>>679
正しくないというか、証明できてはいないという形で落ち着いてると思うよ