Topics in Noncommutative Algebra: The Theorem of