4.1基本概念及一次同余式