finished proof of adams multiplicativity