odd even invariant