Theorem #70