theorem :: XPRIMES1:1886

canceled;