>>311
Vだと証明が難しいな