>>503

k が自然数で、ある整数 k' を用いて k=2k' の形にかけるならば、
k' が負の整数であることはあり得ない。

なぜならば、k'< 0 ならば k = 2k' <0 となり、
kが自然数であることに反する。

また、k' = 0もあり得ない。なぜならば、もし k' = 0 ならば。
k = 2k' = 2×0 = 0 となり、
k が自然数であることに反する。

l, m についても同様。