>>282
背理法で示すのにそう過程したら矛盾するから
そう仮定するのは不適っていいたいのじゃないの？

＞＞a.b,kが整数、pが素数として
＞＞a+b=pkのとき、aとbの少なくとも1つはpの倍数

って問題じゃないと思うけど