demand

1

The demand that each entry be a perfect square results in nine equations. [Note the subjunctive be.]

2

Part 2 of the proof demands only that $k>1$.