Pick propositions and save; you will write the inference text on the next screen — publish once it reads right.

Lemma 4 ([Curvature drift]). The quantities in satisfy Dq-P_ z_x q-P_ z_y =K_yG+O(K).

Propositions that can prove this knowedge