theorem :: XPRIMES2:1258

canceled;