classes:  lecturer. after each theorem should be examples and cured in detail immediately.  curriculum. after each theorem should be examples and cured in detail immediately.  facility. after each theorem should be examples and cured in detail immediately.  general. after each theorem should be examples and cured in detail immediately.