theorem caBR: :: FIELD_15:29

for F being Field
for a being Element of F
for n being Nat holds card (BRoots ((X- a) `^ n)) = n