Jedan od postupaka za dokazivanje aritmetičkih identiteta - Kadum, Vladimir (Array, 1995)