for every vertex, a deviation value, where a value of near-zero indicates the theorem is satisfied for this vertex, if not, the number will be positive if even-numbered-sectors (sectors including [0]) are larger than odd-numbered ones, and negative if visa-versa.
For every vertex, check if Kawasaki's theorem is satisfied. The result is in the form of a scalar value, how much the vertex deviates from being satisfied, where a 0 (or near to 0) means the vertex is valid.
a FOLD object