prove 3∣*-split