Two rules of ipv6 compression