Added many invariants in the README from mathworld graph properities