[varjag]

You live and you learn. I only knew it as proof by contradiction, didn't realize it's actually the same thing.