>>8
公理から導出される定理だと思うよ …