theorem :: XPRIMES2:855

canceled;