Tétel: Ma Magyarországon a mindenkori kormány, ha felelősségteljes, akkor megszegi a választási ígéreteit.

Bizonyítás: Két lépéses konstruktív bizonyítás:

Lemma 1 : A felelősségteljes kormány nem követ el baromságot.
Ez könnyen belátható. Ha baromságot csinál, azt véletlenül (a következmények felmérése nélkül), vagy szándékosan követheti el. Aki a következmények mérlegelése nélkül dönt, az felelőtlen. Aki pedig a következmények tudatában csinál baromságot, az nyilvánvalóan nem felelősségteljes.

Lemma 2 : Aki nem ígér baromságot, nem lesz kormányon.
Ezt kísérletileg mutattuk ki az utóbbi másfél évtizedben. A választásokon kapott szavazatok a barom ígéretek szerint oszlottak meg. Aki nagyobb vagy több baromságot ígért, az kapott több szavazatot.

A két lemmából az állításunk egyenesen következik.
QED