add proof of main prop for intersection types