同理可知