Нормализации Принцип

См. Нормальный алгорифм.