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