k := b-{ad\over c}