https://de.synonym.one/amp/theorem