Search alternatives:
proving infinite » proving infinitude, proving definite, proving finite
using infinite » using finite, solving infinite
proving infinite » proving infinitude, proving definite, proving finite
using infinite » using finite, solving infinite