probability product rule proof