constant-flux-linkage theorem