対称性や単調性などの分布関数の性質の検証