"It] ] is only insofar as how a definition of``prime""affects the felicity] ] of expression that the theorem can here be brought into play."
]] you didn't give a formal statement of the theorem, but nonetheless] ] look at what you did say, and how you said it.