En oikeastaan tiedä, miksi tätä pitäisi sanoa, mutta voimmeko kaikki lopettaa teeskentelyä, että buginen matemaattinen todiste on itsessään katastrofaalisempi kuin buginen koodirivi? Totta kai. Jotkut ovat. Veikkaisin (kuvaannollisesti!!!) että mediaanissa julkaistussa matematiikan artikkelissa on > 0 bugia. Ilman mitätöintiä.