>>373
公理1,2から導かれました