Black hole M87 proved Einstein's "ironclad" correctness