Let in characteristic , let , let split over , and let split over . If are the roots of and , then the Frobenius endomorphism makes each unique andbecause . Thus is already the splitting field of over , and every root of is purely inseparable over .
Codex Wiki