Вместо пар фотонов будем рассматривать супружеские пары.
Пусть 1 - муж, 2 - жена и бинарный индикатор B имеет
2 значения: B+ - посещение гинеколога и B- - непосещение.
N(B+) - число посетивших, N(B-) - не посетивших.

Понятно, что к гинекологу ходят жены, а не мужья, т.е. B1-=B2+.
В силу данного равенства значений получаем N(B1-)=N(B2+),
что означает равенство числа мужей, не ходивших к гинекологу,
числу жен, ходивших к нему. Полагать достоверным не хождение
к гинекологу мужей можно. Но было бы самонадеянно считать
что все жены ходят к нему.