theorem :: XPRIMES1:906

canceled;