instance IsLocalRing.ResidueField.instAlgebra' {R : Type u_1} {S : Type u_2} [CommRing R] [IsLocalRing R] [CommRing S] [IsLocalRing S] [Algebra R S] [IsLocalHom (algebraMap R S)] : Algebra (ResidueField R) (ResidueField S)