Bổ đề Gauss (Lý thuyết số)