编写函数 is_prime_1_mod_4（n），便其能够打印1到正整数n之间模4余1的素数。 名词解释：“模4余1”是指被4除余数为1的意思，模4余1的素数有5,13,17等。

编写一个名为 `is_prime_1_mod_4` 的函数，目的是检查给定的正整数 `n` 是否是4的倍数加1的形式，即满足 `n = 4k + 1` 的情况，并判断该数是否为素数。以下是使用Python实现的一个简单版本：

def is_prime(num):
    # 素数定义：大于1且只能被1和它本身整除的自然数
    if num <= 1:
        return False
    elif num <= 3:
        return True
    elif num % 2 == 0 or num % 3 == 0:
        return False
    i = 5
    while i * i <= num:
        if num % i == 0 or num % (i + 2) == 0:
            return False
        i += 6
    return True

def is_prime_1_mod_4(n):
    for num in range(5, n+1, 4):  # 只需检查4k+1的情况，从5开始每次增加4
        if is_prime(num):
            print(num, " is a prime number that leaves a remainder of 1 when divided by 4.")

# 调用函数并指定n值，比如n=50
is_prime_1_mod_4(50)

当调用 `is_prime_1_mod_4` 函数时，它将遍历1到n之间的所有4的倍数加1的数字，对每个数进行素数检测，并打印出符合条件的结果。