0 thm | Definition of thm