pi-base · artemetra · Jul 9, 2026 · Jul 9, 2026 · Jul 12, 2026 · Jul 12, 2026
diff --git a/theorems/T000914.md b/theorems/T000914.md
@@ -0,0 +1,10 @@
+---
+uid: T000914
+if:
+  and:
+  - P000073: true
+  - P000090: true
+then:
+  P000051: true
+---
+(todo)
diff --git a/theorems/T000915.md b/theorems/T000915.md
@@ -0,0 +1,11 @@
+---
+uid: T000915
+if:
+  and:
+  - P000051: true
+  - P000208: true
+then:
+  P000078: true
+---
+(todo)
+test commit
diff --git a/theorems/T000916.md b/theorems/T000916.md
@@ -0,0 +1,12 @@
+---
+uid: T000916
+if:
+  and:
+  - P000192: true
+  - P000090: true
+  - P000208: true
+then:
+  P000245: true
+---
+
+{T914} and {T915}, so by undoing Kolmogorov quotients we can generalize this to {P192} instead of {P73}, which implies {P245} instead of {P78}.