Projection from Product of Family is Injection iff Other Factors are Singletons