proof: Diferi inter la revizi

=={{en}}==

:([[arith.]]) [[verifiko]];

:(_ of [[spirit]]s) [[grado]];