y la igualdad es cierta para "n"=1