es verdadera mientras que