SMS: Proof and consequences