³⁷⁷eius dimidium S   est dimidium eius C
³⁷⁸Si C   Sit S
³⁷⁹quadrans S   quadrati C
³⁸⁰al conieci   kl S C