delete ---> theoreme software



input number: