theorem :: XPRIMES2:1742

canceled;