moved argument to the correct location; consistency for titles; added proof to theorem (only two solutions for quadratic problem)