补余律

complementary law