[see also: say, assert, state, determine, decide
A direct application of Theorem 4 only tells us that......
From the theory so far, we cannot tell if all four points are in the same Nielsen class.