Theorem T000043