State/Existence of Sylow subgroups

 =Metadata=