Structure theorem