Theorem imageInfoTexelBlockAlignmentPositive : forall i,
  0 < imageInfoTexelBlockAlignment i.
Proof.
  (* Proof omitted for brevity; see ImageInfo.v for proofs. *)
Qed.
