Proving irrationality of sums of rational numbers