Theorem needs JavaScript.