theorem :: XPRIMES1:1947

canceled;