Prove that for a set, there exists a sequence in such that for each, is irreducible in if and only if .
Patunayan na para sa isang set, May umiiral na isang pagkakasunod-sunod sa tulad na para sa bawat, ay hindi mababago sa kung at kapag lamang .