first reduction on trivalent graphs complete