yinazhou008 yinazhou008 01-08-2018 Mathematics contestada Can a theorem contain definitions? Please help!