So, J contains I prime; that means, I prime is by definition of the order on S, I prime is less than or equal to J.
അതിനാൽ, J യിൽ I പ്രൈം അടങ്ങിയിരിക്കുന്നു; അതിനർത്ഥം, നിർവചനമനുസരിച്ച് I പ്രൈം, S ൻറെ ക്രമത്തിലാണ്. I പ്രൈം J യേക്കാൾ കുറവാണ് അല്ലെങ്കിൽ തുല്യമാണ്.