>>973
公理なので証明不可能