theorem :: XPRIMES2:4742

canceled;