theorem :: XPRIMES2:1866

canceled;