ユーザー側で証明するって難しいよな
入ってないはずのが出たり
確定のはずが違うの出たりしない限りは
確率の偏りで済ませられる