Ha, that was my first time seeing proofs and I hadn't taken a math class for about 6 years, so it was quite challenging!
I really have no idea where to apply, though. Some places that seem interesting include Texas, Georgia Tech, UIUC, NYU, Stanford, Maryland, and Cornell, among other...