theorem :: XPRIMES2:1206

canceled;