English: In 1976, Kenneth Appel and Wolfgang Haken discovered that four colors suffice.
Telugu: 1976లో, వోల్ఫ్గాంగ్ హాకెన్ మరియు కెన్నెత్ యాపెల్ నాలుగు వర్ణాల సిద్ధాంతాన్ని నిరూపించేందుకు కంప్యూటర్ను ఉపయోగించారు.