Hilbert-Kunz multiplicity of fiber products and idealization rings | Synapse