theorem :: XPRIMES2:1747

canceled;