is a theorem this is called refinement since is impli published presentations and documents on DocSlides.