The top documents tagged [erat demonstrandum example]