∀ {α : Type u_1} {β : Type u_2} [inst : TopologicalSpace β] {e : α → β} {p : β → β → β → Prop},
  DenseRange e →
    IsClosed {q | p q.1 q.2.1 q.2.2} → (∀ (a₁ a₂ a₃ : α), p (e a₁) (e a₂) (e a₃)) → ∀ (b₁ b₂ b₃ : β), p b₁ b₂ b₃