Se define estados seguros y se prueba que cualquier transición se hace de un estado seguro a otro.