delete ---> isabelle



input number: