condicion resolutoria explicita