Designing Game of Theorems