互余律

complementary law