Theorem -> Corollary
Presented version of the talk
apply -> apply: