Here is a proof of the outer product form of the SVD (from a textbook):
I am unfamiliar with multiplying partitioned matrices. Can anyone please point me towards some standard theorems or lemmas about partitioned matrices that are being used in this proof?