Partition Matroids Are Matroids