平方剰余の相互法則の証明には○と○と○が必要で、ルジャンドルはそのいずれも証明しているからルジャンドルは平方剰余の相互法則を証明している、という論理はおかしい。
自分が証明していたことに気づくというのも必要不可欠な要素だから。