about

800300

end of proof

quod erat demonstrandum