Enviar aquest missatge de text: Playing with LEGO and proving theorems