...So the above theorem says that all primes leave a remainder of 1 or 3 when divided by 4.
....
I think I can prove this one: In the array [0, 1, 2, 3, 4, ... infinity], every 4th element is divisible by four, thus not a prime. "Every 4th element" is like a cycle. That leaves 3 elements in between the cycle that could possibly be a prime. The second element is divisible by 2, so it's not a prime. The first and third elements could be prime, and does this really happen?
[ ..., 16, 17, 18, 19, 20, ...]
In this case, the first and third elements in the cycle, 17 and 19, are primes. And they leave modulos of 1 and 3.
But it does not prove every number that leaves #1 or 3 (4) is prime, proved by this case:
[..., 24, 25, 26, 27, 28, ...]
Here the first and third elements in the interval are 25 and 27, they leave modulos of 1 and 3. But, they are not prime:
25 / 5 = 5
27 / 9 = 3