Recommendations for "Quod Erat Demonstrandum"