Fuente TeX:
P(n) \land P(n+1) \implies P(n+2)