Antages denna sats , är det slutmed