Description: Theorem - a clever game which is easy to learn, but challenging to master.