Wenn α, β, γ bewiesen sind, muss der allgemeine Kalkül erst erfunden werden.