theorem :: XPRIMES2:1745

canceled;