These should be moved into the "examples" section. These exist to prove specific concrete examples of definitions; examples make definitions easier to understand, and proving them means that the examples are justifiably correct.