Extension Distributes Over Tensor Product