theorem :: XPRIMES2:902

canceled;