Vertaillaan teoreeman todistajaa Acornia Leaniin @lacker – kumpi on helpompi käyttää?