import math class NCK: ''' 最大値 :N mod ''' def __init__(self,N,mod): self.mod = mod self.N = N self.factmod = [1,1] for i in range(2,self.N+1): self.factmod.append((self.factmod[-1]*i)%self.mod) self.inv = [0,1] for i in range(2, N + 1): self.inv.append((-self.inv[self.mod % i] * (self.mod // i)) % self.mod) self.invfact = [1,1] for i in range(2, N + 1): self.invfact.append((self.invfact[-1]*self.inv[i])%self.mod) def nCk(self,a,b): if a < b: return 0 return ((self.factmod[a]*self.invfact[b]%self.mod)*self.invfact[a-b])%self.mod def invnCk(self,a,b): return ((self.factmod[a-b]*self.invfact[a]%self.mod)*self.factmod[b])%self.mod def modPow(a,n,mod):#繰り返し二乗法 a**n % mod if n==0: return 1 if n==1: return a%mod if n & 1: return (a*modPow(a,n-1,mod)) % mod t = modPow(a,n>>1,mod) return (t*t)%mod def factorization(N):#素因数分解√N arr = [] temp = N for i in range(2, int(-(-N**0.5//1))+1): if temp%i==0: cnt=0 while temp%i==0: cnt+=1 temp //= i arr.append([i, cnt]) if temp!=1: arr.append([temp, 1]) if arr==[]: arr.append([N, 1]) return arr #[素因数、個数] N,K = map(int,input().split()) mod =10**9+7 nck = NCK(N,mod) ans = 0 lsp = factorization(math.gcd(K,N)) lsp2 = [i for i,j in lsp] if lsp2==[1]: print(0) exit() NN = len(lsp2) for i in range(1,2**NN): ll = [] for j in range(NN): if (i >> j) & 1: ll.append(lsp2[j]) v = 1 for l in ll: v *= l if len(ll)%2==1: ans += nck.nCk(N//v, K//v) else: ans -= nck.nCk(N//v, K//v) ans %= mod print(ans)