赛瓦维斯特定理

已知a,b为大于1的正整数，gcd(a,b)=1,则使不定方程 ax+by=k 无负整数解的无法构成的最大整数 k=ab−a−b

如果知道此定理，就是送分题。不知道的话，想破脑袋也不一定有结果。所以就是考数学知识（扩展欧几里得的变换），数学考得这么赤裸裸合理吗？

#include <bits/stdc++.h>
using namespace std;

int main(){
   long long a,b;
   cin>>a>>b;
   cout<<(a*b-a-b);
   return 0;
}