Fixpoint Prit 9Gr*24
Fixpoint Prit 9Gr*24