pbelmans/Number-Theory — comment on commit 09cdbe0f22fc84ddebf7245071e421caf57dd941
File: ch6.tex line 235
By pbelmans:

Is this change correct?