Theorem #78