theorem :: XPRIMES2:6190

canceled;