>>462
自然数a,b,cに対して

とかいてありました