Update theorems/T000872.md

GeoffreySangston · prabau · web-flow · commit 4946edce854d · 2026-04-08T09:35:36.000-04:00
Co-authored-by: Patrick Rabau &lt;70125716+prabau@users.noreply.github.com&gt;
diff --git a/theorems/T000872.md b/theorems/T000872.md
@@ -6,4 +6,4 @@ then:
   P000224: true
 ---
 
-Immediate by the definitions.
+Immediate from the definitions.
