theorem :: XPRIMES2:1718

canceled;