根据题意,把下列推理所依据的命题写出来,并指出是公理还是定理