theorem :: XPRIMES2:597

canceled;