This is a standard way to draw geometric proofs, it's not at all unreasonable to assume straight lines alongside unrepresentative angles. It's certainly still an assumption, but a conventional one.