theorem :: XPRIMES1:39

canceled;