theorem :: XPRIMES1:1748

canceled;