でもどうやって証明するんだ?