1Protagoras-s Theorem
Active — user can report