Lanczos method derivation