qed

сокр. от quod erat demonstrandum

что и требовалось доказать