theorem :: XPRIMES1:1912

canceled;