theorem :: XPRIMES1:1122

canceled;