The previous hints claims that a theorem is of the type A ⇒ {\displaystyle \Rightarrow } B. Can you identify each of A and B?