theorem :: XPRIMES2:1217

canceled;