 Bosala théorème na kosalelaka formule oyo epesami pe ba variables misato mosusu.
 Théorème : Soki totali ete A + B = C, soki D ebakisami na ngambo mibale ya équation alors somme ya côté gauche ekokani na somme ya côté droit. Elingi koloba, A + B + D = C + D. Soki E ezali résultat ya C + D, tokoki ko substituer yango na équation, kozua A + B + D = E. Ndenge moko, soki F ebakisami na ngambo mibale ya équation A + B + D + F = E + F, oyo ezali komonisa ete somme ya A, B, D, na F ekokani na somme ya E na F. Na yango, théorème na biso ezali que soki A + B = C mpe E = C + D, na nsima A + B + D + F = E + F.