Demostración del teorema (caso bid