Waldhausens Starrheitssatz