Finite groups existing in varieties doesn't prove infinitude isn't entailed; it only shows finitenes...
This proposition has not been edited since the history system was added.