분포 함수의 성질, 즉 대칭성과 단조성 검증