theorem :: XPRIMES1:1522

canceled;