Talk:PlanetPhysics/Morita Equivalence Lemma for Arbitrary Algebras