Original SH03 lesson, proof-selection exposition, solutions and reader code: CC0 1.0 Universal.
Human mathematical works are credited and retain their own rights. Their protected text is not copied into this selection.