Proof of type for Current mirror and Early effect (Mosfet transistors)
As per the answer in the question by Mario:
MOS Current Mirror
and the relation:

We can arrive to the equation 4.19.
Hope this helps.