Pascal notó que para cualquier entero "n", se cumple que