theorem :: XPRIMES2:6742

canceled;