specialize sub hel
sub : Set.Icc (-1, -1) (1, 1) ⊆ {p | p.1 ^ 2 + p.2 ^ 2 < 1}
hel : (-1, -1) ∈ Set.Icc (-1, -1) (1, 1)
⊢ False
hel : (-1, -1) ∈ Set.Icc (-1, -1) (1, 1)
sub : (-1, -1) ∈ {p | p.1 ^ 2 + p.2 ^ 2 < 1}
⊢ False