मान लीजिए `p` एक अभाज्य संख्या है। यदि `p`, `a^2` को विभाजित करती है, तो `p`, `a` को भी विभाजित करेंगी, जहाँ `a` एक धनात्मक पूर्णांक है।