theorem :: XPRIMES1:1067

canceled;