871 HRC = 8,884.2 HV
1 HRC ≈ 10.2 HV · 1 HRB ≈ 1.8 HV · 1 Mohs ≈ 0.1 HV — approximate; real conversions vary by material per ASTM E140