On 18 December 2007 the details of this result were explained and verified by Martin Cochran.
2007年12月18日に、Martin Cochranによってこの結果の詳細が説明、検証された。