Kohn-Nirenberg Symbol Composition Theorem