Теряется расширение файла при его архивации GZipStream-ом - C#

Формулировка задачи:

Добрый день. Написал следующий код для архивации текстового файла.

        static string path = "zip";
 
        static void Main(string[] args)
        {
            FileStream sourceFile = File.OpenRead(path+".txt");
 
            ArchivingFile(sourceFile);
        }
 
        static void ArchivingFile(FileStream sourceFile)
        {
            FileStream archiveFile = File.Create(path + ".zip");
 
            using (GZipStream archiveStream = new GZipStream(archiveFile, CompressionMode.Compress))
            {
                int data = sourceFile.ReadByte();
 
                while (data != -1)
                {
                    archiveStream.WriteByte((byte)data);
 
                    data = sourceFile.ReadByte();
                }
            }
        }

Почему теряется расширение текстового файла?

Решение задачи: «Теряется расширение файла при его архивации GZipStream-ом»

textual
                            Листинг программы 
                        

                            static string path = "zip";
 
static void Main()
{
    using (FileStream sourceFile = File.OpenRead(path+".txt"))
    {
        ArchivingFile(sourceFile);
    }
}
 
static void ArchivingFile(FileStream sourceFile)
{
    using (FileStream archiveFile = File.Create(path + ".zip"))
    using (GZipStream archiveStream = new GZipStream(archiveFile, CompressionMode.Compress))
    {
        sourceFile.CopyTo(archiveStream);
    }
}
                        