ההשלמה הפרו-סופית של חוג השלמים