Ist eine Gleichung nicht auf andere Gleichungen zurückführbar, so ist sie eine Definition.