Weitzenböck's inequality