Верно ли, что СТРОГО доказать основное свойство пропорции можно только используя аксиоматику теории колец?