Los siguientes teoremas se cumplirán: