delete ---> THEOREM COMMUNICATION
input number: