Qualitatively, a deep theorem is a theorem whose proof is long, complicated, difficult, or appears to involve branches of mathematics which are not obviously related to the theorem itself. Shanks cites the quadratic reciprocity theorem as an example of a deep theorem.