Category:Condition for Independence from Product of Expectations