for F being Field holds PRs F c= [:[:(C_3 F),(C_3 F):],[:(C_3 F),(C_3 F):]:]