Proofs of the inscribed angle theorem Pavel Leischner