重疊定理工數