高域が導体の表面を流れるっていつ証明されたの?