Tikippata theoremi usoortumik formulamut atorlunga kingorna tikitsoorneqarfik.
Fuomuli: A + B = C
Variableri: D, E, F
Teoreemiit: A + B = C, D ilisarniassinik nalunaani ilinniarnik, qavanngui A + B + D = C + D. E C + D-mut pisoqaq, equationi ilisarniarnik A + B + D = E. Inuuguutinnaq, F ilisarniassinik nalunaani ilinniarnik, A + B + D + F = E + F, A, B, D, F nunatsinni E, F nunatsinni ilinniarsinnaassusilu. Teoreemiit, A + B = C, E = C + D, A + B + D + F = E + F.