>>876
何を証明すればいいのかがわからん。