新しいの命題と確率だっけ?