Theorem #20