Item
0.2.9.e
.
Equivalent to the original theorem.
in-context