take {} ; :: thesis: {} is one-to-one
thus {} is one-to-one ; :: thesis: verum