An ideal buffer keeps the source-facing side unloaded. Exact arithmetic here means exact results for the stated model inputs; measured inputs still carry uncertainty and significant-figure limits.
highlighted = computed this step
Without isolation the source drops voltage
The direct load case drops 4 volts across the source impedance.
Vdrop=4V
The ideal buffer presents an open input
The buffer case has source current 0 amperes and source drop 0 volts.