Property of cyclic polygon