theorem :: XPRIMES2:6178

canceled;