The Binomial Theorem Formalising the expansion of binomials into a theorem lesson notes:03 binomial theorem