Update en/theory.html