theorem :: XPRIMES1:1172

canceled;