> A lot of deep theorems are trivial when you fully understand all relevant definitions. A lot of deep theorems comes down to properly choosing the definitions

> A lot of deep theorems are trivial when you fully understand all relevant definitions. A lot of deep theorems comes down to properly choosing the definitions so that the theorems are true.