Eigenclustering Length-Exchange Theorems. II. Straight-P3- alias K-counterpart of Euler-H

v3: with minor changes induced by major changes to Articles I and II.I

v2: arbitrarily large cases’ labelling convention brought in, causing some name changes.

The above is the v1.