What theorem was derived in 1819?