Why Stiffness Matrix Is Positive Definite