Computing the source of α, and the proof of Theorem B