Green's Open Problems #73

### What is the conjecture
https://people.maths.ox.ac.uk/greenbj/papers/open-problems.pdf#problem.73

Let $\Gamma$ be a smooth codimension 2 surface in $\mathbb{R}^n$. Must $\Gamma$ intersect some 2-dimensional plane in 5 points, if $n$ is sufficiently large?

### [AMS categories](https://github.com/google-deepmind/formal-conjectures/labels?q=ams-)

* ams-05
* ams-52

### Choose either option
- [ ] I plan on adding this conjecture to the repository
- [x] This issue is up for grabs: I would like to see this conjecture added by somebody else

Read problem 73 in the linked Green's Open Problems PDF and compare it with the repository's existing formalized conjectures. Determine the appropriate repository entry point for this statement; done means the conjecture has been added in a suitable formalized form.

Written by the indexing model from the issue text.