“Quod erat demonstrandum” aka QED, translated to mean “what had to be