Prove that squares of natural numbers can only be \(0\) or \(1\) modulo \(4\). The corollary states that no number of the form \(4t+3\) can be represented as a sum of two squares.