I think that it is a nice observation. Some people complain that explaining the formation of a rainbow scientifically makes it lose its "aweness" but I think it even deepens it.
Actually, property 5) trivially implies 1) but also 2), as `(1+2+...+n)² = n²(n+1)²/4` and either n or n+1 must be divisible by 2 hence one of the squares divisible by 4 hence it is a product of squares. But also property 4) as `(1+2+...+n)² = 1³+2³+...+n³` (easy to show by induction).
Actually, property 5) trivially implies 1) but also 2), as `(1+2+...+n)² = n²(n+1)²/4` and either n or n+1 must be divisible by 2 hence one of the squares divisible by 4 hence it is a product of squares. But also property 4) as `(1+2+...+n)² = 1³+2³+...+n³` (easy to show by induction).