State/Counting Sylow subgroups

=Metadata=