עוד הגדרות והוכחה שטבעיים שקולים לשלמים