theorem :: XPRIMES2:825

canceled;