Theorem T000347