Q.E.D. {quod erat demonstrandum}