1  == Integer Division By Constants
 2  
 3  === (no proofs in this section)
 4  {nbsp}
 5  
 6  === (no proofs in this section)
 7  {nbsp}
 8  
 9  === (no proofs in this section)
10  {nbsp}
11  
12  === (no proofs in this section)
13  {nbsp}
14  
15  === (no proofs in this section)
16  {nbsp}
17  
18  === (no proofs in this section)
19  {nbsp}
20  
21  === (no proofs in this section)
22  {nbsp}
23  
24  === Unsigned Division by 3
25  
26  include::../proofs/unsigned_division_by_3.txt[]