theorem :: XPRIMES1:3924

canceled;