take omega ; :: thesis: omega is infinite
thus omega is infinite ; :: thesis: verum