دا لومړنۍ لویه قضیه وه چې د یو کمپیوټر په کارولو سره ثبوت شوه.