theorem :: XPRIMES2:2192

canceled;