Splitting_theorem loading ...