Вы можете «доказать» все на словесном уровне, просто принять необходимые аксиомы в начале.