Prove what about a/b ?