高的IBM 360，为计算节省了大量时间。经过电脑1200小时的验证，他们终于在6月得出：1936个构形都是可约构形。这代表着四色定理最终的解决。这时候他们的几个竞争对手如阿莱尔、斯瓦特等的工作也将近尾声。1976年6月22日，哈肯和阿佩尔首次在美国数学协会于多伦多大学召开的美国数学学会夏季会议公布了他们的结果。不久，伊利诺伊大学数学系的邮戳上加上了“四色足够”（）的一句话，以庆祝四色猜想得到解决。9月，美国数学学会的公告专栏上刊登了两人证明四色定理的消息。
家庭.哈肯家中有六