theorem :: XPRIMES1:36

canceled;