theorem :: XPRIMES2:1403

canceled;