fåstningarnes armerande , så måste den antagna satsen vara sann.