Estos teoremas son: