Аксіоми стереометрії, наслідки з аксіом