how to prove independence probability - Search