Låtom oss hellre vända oss till detcorollarium