about


end of proof

quod erat demonstrandum