[see also: remainder] F=1 on the rest of A.
Each row of A has a single ± 1 and the rest of the entries 0.
The rest of the proof runs as before.
Much of the rest of the paper is devoted to a general study of......
[see also: base, depend, rely] This rests on a result of Kummer.