Fuente TeX:

 P(n) \land P(n+1) \implies P(n+2)