rigid geometry でも Weil予想が証明できるんだってね