১৯৫৯ শুবাটের্র গণনামূলক ক্যালকুলাসের ১৫ তম কঠোর ভিত্তি।