Wyprowadzenie wzoru na prawdopodobieństwo całkowite