theorem :: XPRIMES2:1873

canceled;