Description: Technical lemma for reciprocal multiplication in deduction form. (Contributed by metakunt, 10-May-2024)