Randvinkelsatsen följdsats 3