comathematician은 cotheorem을 ffee로 바꾸는 기계다