Үүнийг мессежээр илгээх: Playing with LEGO and proving theorems