Theorem #85