[theorem.gif]