theorem :: XPRIMES1:48

canceled;