אז ככה
כיוון אחד (כל השדות הם חוגים): לפי הגדרה. שדות נדרשים לעמוד בכל הגדרות החוג, ולכן הם בהכרח חוגים. לא להיפך: לצורך הדיון, קיימת אפשרות שאקסיומות השדה נובעות מאקסיומות החוג, כך שכל חוג הוא שדה. על מנת להוכיח שלא כך הדבר יש להביא דוגמא נגדית לחוג שאינו שדה. אם ניקח את המטריצות בגודל 2 על 2, הן מהוות חוג (אתה יכול לראות שהן מקיימות את כל אקסיומות החוג), אך הן אינן שדה (מסיבות רבות, אך לשם התחלה מאחר והכפל שלהן אינו קומוטטיבי). טל