Est istadu su teorema prus mannu a èssere dimustradu impreende un’elaboradore.