Theorem 134