added caveat to correct problem with proof of theorem