possibly proved unimodality of edge poset