Mathematicians have proved that Bach was a great composer