divide & conquer to check; naive method to check