Om widare antages ,att