A conjectura de Sidorenko para subdivisões e substituições theta | Synapse