JT <> 3DXML User Guide - Theorem Solutions