Σの可換の証明に不足してる公理って何だったのだろう?
やはり言いがかりか