theorem Th4: :: WEDDWITT:4

for n, q being Nat st 0 < q holds
card (Funcs (n,q)) = q |^ n