| For All Solvers
OMC208

OMC208(D) - $AD=CD$ の別証

ユーザー解説 by UNOwen