IsFiniteField(R: RING): BOOL
/**/ IsFiniteField(ZZ); false /**/ IsFiniteField(QQ); false /**/ Fp::=ZZ/(7); IsFiniteField(Fp); true