If v = t K_λ with t, λ ≠ 0 (actual principal vector), then f v⁰/e = t, v¹ ≠ 0 and the actual lowered components 0, 3, 4 are -t p', -t u a', -t (1-u) a'

Initializing...

If v = t K_λ with t, λ ≠ 0 (actual principal vector), then f v⁰/e = t, v¹ ≠ 0 and the actual lowered components 0, 3, 4 are -t p', -t u a', -t (1-u) a' · Prove2Me