丘奇数前驱的推导