Prove ble_nat_false