(2024-03-31)

ESlightly modified the second bulleted item in the final paragraph of the 
@proof of Theorem 2.16