Den en gäng antagna sats,