proved the other bit of the restrictions in Par split