Vad kallas denna sats?

Hej!

När jag skriver prov snart måste jag ge stöd för mina uträkningar genom att hänvisa till olika satser. Vad ska jag kalla den sats som säger att summan av motstående vinklar är 180°, i en fyrhörning som är inskriven i en cirkel? Detta är ju en följdsats till randvinkelsatsen, men ska jag då verkligen hänvisa till randvinkelsatsen?

Tack.