Theorem #16