theorem :: XPRIMES2:6116

canceled;