How would you write that line segment PK has equal length with line segment OQ?