delete ---> Proof SA



input number: