theorem :: XPRIMES1:24

canceled;