Pesachim 18: Kal Va'chomer

Why does the Torah write what we know from Kal Va'chomer?