Theorem #73