ra, maius est contento sub ck, ka, una cum contento sub xc, ka. Verum □ ra aequatur contento sub xc, ka. Demonstrandum ergo est, contentum sub cr, ra maius esse contento sub ck, ka.