100.22 The maximal area property of cyclic quadrilaterals. Issue 548 (14th June 2016)