Mathematicians have finally proved that Bach was a great composer