Anning's Theorem/Historical Note

Historical Note on Anning's Theorem
Anning's Theorem appears as a problem in The $1970$ publication by, who cites  as its source.

Confusingly, later he refers to P. Anning in the context of the same result. It can be assumed that this is a mistake.

It is apparent that this result was published in volume $22$ of, but it has not been possible to find an online archive to confirm this, or even to determine what the title is of the article it appeared in.

The name Anning's Theorem has been coined by as a convenient way to refer to this result, whose description would otherwise be too unwieldy for convenience.