WordNet: theorem

Sanatista
an idea accepted as a demonstrable truth



theorem