theorem proved term proof

`offset_11_eq_24_inv_mod_11`

No prose has been written for this declaration yet. The Lean source and graph data below render without it.

formal statement (Lean)

 237theorem offset_11_eq_24_inv_mod_11 : 24 * 6 % 11 = 1 := by norm_num

Term-mode proof.

 238
 239/-- The three offsets {4, 5, 6} form a consecutive arithmetic sequence. -/