>>690
両方奇数だと矛盾することを示す。