nice proof