theorem :: XPRIMES2:674

canceled;