רק לתותחים שיודעי להוכיח תהי R תבנית ותהי F קבוצת תלויות פונקציונליות על R. נניח ש a->b היא תלות פונקציונלית ב F וש-A היא תכונה המופיעה ב - a. הראו ש -A עודפת ב a אם b מוכל בסגור של (a-A) כאשר הסגור של (a-A) מחושב ביחס ל - F