NBPが存在しない事の証明だな