이는 테보탐이 증명한다