Die angefragte URL /macros/latex/required/tools/theorem.dtx konnte auf diesem Server nicht gefunden werden.