Un número prónico (también llamado heteromécico) es un número que es el producto de dos enteros consecutivos, es decir, un número de la forma n(n + 1). Crea una función que determine si un número es prónico o no.
is_heteromecic(0) ➞ True
# 0 * (0 + 1) = 0 * 1 = 0
is_heteromecic(2) ➞ True
# 1 * (1 + 1) = 1 * 2 = 2
is_heteromecic(7) ➞ False
is_heteromecic(110) ➞ True
# 10 * (10 + 1) = 10 * 11 = 110
is_heteromecic(136) ➞ False
is_heteromecic(156) ➞ True