Theorem by ear

Occurs on these playlists: