Obviamente esta identidad es cierta para "j" = 0, ya que los dos miembros son cero.