Fusion theorems proved.