Move Lemma2-4 Lemma2-4-core.

Agda takes too long to load the file now that it’s gotten so big