On 18 December 2007 the details of this result were explained and verified by Martin Cochran.
18 Aralık 2007'de bu sonucun ayrıntıları Martin Cochran tarafından açıklanmış ve doğrulanmıştır.