³⁶⁹incommensurabiles S   commensurabiles C
³⁷⁰Sit S   Si C
³⁷¹cum S   tamen C