이는 티바트가 증명