Theorem #84