NBPの存在は既に証明されている。

つまり後は分かるな?