難しい数学の証明みたい