O dvije invarijante u analizi - Jakšetić, Julije (Array, 2020)