nice proof ;)