consider n being Element of omega ;
take n ; :: thesis: n is finite
thus n is finite ; :: thesis: verum