theorem :: XPRIMES2:885

canceled;