— заключительная формула в аргументации: "что и требовалось доказать".