Nu antages såsom visst ,att