theorem :: XPRIMES2:2855

canceled;