Theorem #21