だから公理の証明は簡単