Hau dioen teorema: n gertaera bateraezin izanik —alegia, denen bilkura lagin-espazio osoa betetzen dutenak eta haien probabilitateen batura 1 dutenak—, orduan B beste gertaera baten probabilitatea B eta n gertaeretako bakoitza aldi berean gertatzearen probabilitate partzialen batura izango da. Alegia: P(B)=P(B|A₁)P(A₁)+...+P(B|A_n)P(A_n), non B gertaera arbitrarioa baita eta P(B|A_i), berriz, B-ren probabilitate kondizionala A_i-rekiko.