theorem :: XPRIMES1:2924

canceled;