xref: /aosp_15_r20/external/emboss/doc/modular_congruence_multiplication_proof.pdf (revision 99e0aae7469b87d12f0ad23e61142c2d74c1ef70)