不可能と証明されてはいるが