Med säkerhet antages ,att