Lo anterior implica