In many proofs of Kirchhoff's voltage law for the frequency domain, the time-domain KVL is originally used and then the time-dependent part (\$e^{jwt}\$) is removed, leaving only the real part of the sum of phasors to equal zero, for example in the textbook "Electric Circuits" by Nilsson and Riedel:
$$v_1 + v_2 + ... + v_n = 0$$ $$\therefore Vm_1cos(wt+A_1)+Vm_2cos(wt+A_2) + ... + Vm_ncos(wt+A_n)=0$$ $$\therefore Real [(\vec V_1 + \vec V_2 + ... + \vec V_n)e^{jwt}]=0$$
Then, this "real part" notation is simply removed, stating that the sum of phasors is simply equal to zero.
$$\vec V_1 + \vec V_2 + ... + \vec V_n$$
Why is this the case? Where can this be proved?