どうやったら証明できそう?