fix stuff, add theorem about degree sequence of simple graphs