Key points are not available for this paper at this time.
We give a comprehensive geometric treatment of Kaluza–Klein type unifications of non-Abelian gauge theories with gravitation. The appearance of a cosmological term is noted.
Y. M. Cho (Wed,) studied this question.