theorem :: XPRIMES1:26

canceled;