work on k+1 implies 1