Quod erat demonstrandum (skrót: Q. E.D). - co było do okazania (zakończenie dowodu formalnego)