การพิสูจน์เบื้องต้นในคณิตศาสตร์นามธรรม - ธวัช ช่างผัส (มหาวิทยาลัยขอนแก่น)