delete ---> THEOREM SOFTWARE
input number: