k(k-1) are a facet defining inequalities for PLOn