Wpis z mikrobloga

@siema_mordo: tak chodziło o pierwsze twierdzenie. Wyleciało mi z głowy.

A propos drugiego to słyszałem kiedyś od profesora, że różnica pomiędzy matematykami a informatykami jest taka, że Ci pierwsi myślą, że można wszystko policzyć, a Ci drudzy, że udowodnić( ͡° ͜ʖ ͡°)