The Royalty Value Theorem and the Legal Calculus of Post-Extraction Costs