Si fuera verde no habría más que cambiar los nombres de los dos colores en la demostración, y los nombres de los colores no importan ya que la demostración es igualmente correcta si cambiamos "rojo" por "verde" y viceversa.