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