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.

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.