theorem :: XPRIMES2:1204

canceled;