Пусть

и

-- две случайные величины с плотностью распределения

.
Пусть имеется некоторое множество

пар

.
Тогда вероятность, что пара случайных значений величин

и

принадлежит множеству

, равна

Интегрирование производится по множеству

.
Пусть

-- множество пар, для которых

. Тогда

Если вдобавок известно, что величины

и

независимы, то

, и

Теперь возьмем в качестве

случайную величину

, где

-- вещественное число, а в качестве

-- случайную величину

:

или

Немую переменную интегрирования

заменим на

. В качестве

подставим

. Учтем, что при

плотность

, т.е. можно нижний предел взять равным

.
