theorem :: XPRIMES1:42

canceled;