delete ---> B P ROOF
input number: