Added frame theorem.