theorem :: XPRIMES2:1246

canceled;