theorem :: XPRIMES1:25

canceled;