This can be verified by calculation: The choice W =Ũ and H =Ṽ makes the first term in (9) vanish, and it also minimizes the second term in (9).
it follows that the features (Ũ,Ṽ) constitute a sufficient dimensionality reduction of G.