prove DEDUCT_ANTISYM_correct