スププ=ミネオが証明されました