IsPValencedScheme

A scheme is called a $p$-valenced scheme if every valency is $p$-power. IsPValencedScheme(R, p) returns whether R is $p$-valenced.