2 ) Det logiska bewiset.