theorems in the system are terms of a special theorem abstract data type irame imbere yawe iminsi yose ubwo yari mu nama mpuzamahanga y'ikoranabuhanga