Theorems on Regularity and Singularity of Energy Minimizing Maps