<prompt> Kujenga theorem kutumia kigezo zinazotolewa na tatu nyingine variables.Mfumo: A B C Variables: D, E, F  <response>: Theorem: Kwa kuwa A B C, kama D ni pamoja na pande zote mbili za equation basi jumla ya upande wa kushoto ni sawa na jumla ya upande wa kulia. Hiyo ni, A B D C D. Kama E ni matokeo ya C D, tunaweza kubadilisha katika equation, kupata A B D E. Vile vile, kama F ni pamoja na pande zote mbili za equation A B D F E F, ambayo inawakilisha kwamba jumla ya A, B, D, na F ni sawa na jumla ya E na F. Hivyo, theorem yetu ni kwamba kama A B C na E C D, basi A B D F E F. 