Theorem #87