Let f: A -> B be a ring homomorphism. q is a prime ideal of B, p = q^c (contraction of q in A).

Show that Bq is a localization of Bp.