Theorem I is known. I would be very interested to see proofs -
or skethces thereof - of the rest of Harvey's reported results.
This isn't polite scepticism - i have long believed results like
this to be true, and that Harvey is capable of proving them -
it's British understatement!
Thomas Forster