theorem :: XPRIMES2:1185

canceled;