By i and ii,
The domain of a function of is . Its rank-nullity theorem gives . Applying the rank-nullity theorem for now gives
which is exactly the rank-nullity theorem for the function composition .