Twierdzenie Lagrange’a (rachunek różniczkowy) – Inne języki