theorem :: XPRIMES1:1692

canceled;