join-disjoint-leq-implies-leq