theorem :: NUMBER15:35

for n, k being Nat holds
( not k mod 4 = 3 or not k divides 5 |^ n ) by Th34;