أرسل هذا في رسالة قصيرة: Playing with LEGO and proving theorems