Нормалізаційна лема Нетер – Інші мови