Quod erat demonstrandum — что и требовалось доказать