Template:Proof generalizes

This proof method generalizes to the following results: