The most remarkable thing about Theorem J is the weakness of its conclusion
compared to the strength of the methods used in its proof.
The proof of Theorem J does have the merit that it shows that the
coefficient Stopping Time Conjecture holds for the infinite set
of admissible vectors 
of the form (2.27).
Annotation Form Interface