独立な過程に対する乗法ルール