Den antagna satsen , att dåhalfva