För den förmodan ,att