distinct原理