end of proof

quod erat demonstrandum