0✕0^-1は四則演算の公理から矛盾が導かれるから、0で除算してはいけないことになってる