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