delete ---> THEOREM SOFTWARE



input number: