По ходу изложения применяются разные формулировки, чтобы в итоге снизить повторяемость.