theorem :: XPRIMES1:924

canceled;