Guidance for entering Correction Invoices - PO Matched Invoice entered incorrectly and already paid

Summary:

With regards to the concept of Correction Invoices, and specifically for us at this time, Quantity Corrections. The following Oracle documentation that seems to highlight functionality we want to perform:

What's a quantity correction? (oracle.com)

Invoice Corrections (oracle.com)

However, there is almost no explanation in this documentation for how to accomplish this. It simply says to use a Credit or Debit Memo.

Fundamental Question: What is the step by step process to enter a "correction invoice" to fix Invoice-PO quantity matching mistakes on an already paid Invoice? Do we enter negative Quantities? Does the Correction Invoice drop down at Invoice line need to be populated? Do we allocate the correction invoice to the PO line that was already allocated and will that release the PO quantity? Is there a place to link to the Invoice we are correcting?