Paragraph

This seems reasonable. Is it really true? Let's prove the first fact:

in-context