波羅摩及多定理應用