Loading Open Internet
    Rigorously proving the conjecture on n² divisibility of S(n)