theorem :: XPRIMES2:1135

canceled;