proof of adduction