今求められてるのは3.12の証明ではないだろうか