theorem :: XPRIMES2:185

canceled;