The top documents tagged [b ec dtheorem]