я хотел бы напечатать формулы (ec3) в распечатках для доказательств. как это работает?

 

в распечатанном отчете у вас есть возможность показать промежуточные результаты. там же можно указать формулу доказательства.