I am looking for a cool and simple application of Bochner--Weitzenböck type formulas which could be used as a motivation.

>What is your favorite example?