Num n – Mise l preuve