Ciągi arytmetyczne w gęstych podzbiorach liczb naturalnych: dowód Rotha i uogólnienie Gowersa