20170131

Z を整数全体からなる ring とする.
(a∈Z かつ b∈Z かつ ab∈(4Z+3)) ならば, ((a∈(4Z+1) かつ b∈(4Z+3))または(a∈(4Z+3) かつ b∈(4Z+1)))