互补的两个角必有一条公共边是否真命题