take {{}} ; :: thesis: {{}} is finite
thus {{}} is finite ; :: thesis: verum