01204583_proof-Edwards-IGA-RKM-8-22-25