Additional lemmas about homomorphisms of semirings and rings