Theorem 53