Является ли void типом?

Я не могу полностью ответить, «почему мы должны называть« void »is ' return type '?»

Как мне доказать, что « void » - это тип?