theorem :: XPRIMES2:1257

canceled;