theorem :: XPRIMES2:903

canceled;