structure_theorem