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