theorem :: XPRIMES1:5924

canceled;