theorem :: XPRIMES2:1860

canceled;