Theorem 7 1 Class Boxing