Gauss second summation theorem