re: #441 Varek Raith
Who’s ‘we’???
Prove for any integer n, if n is a multiple of three, then n^2 will be a multiple of three with a direct proof.
This is what I’m ignoring for the afternoon.