Expanded the mathematical introduction