又∵ x ≠ y

　　∴ B ≠ k*k (其中k∈N)

　　結論(推論1)：

　　B=x*y 非質數且 B ≠ k*k (其中k∈N)

　　即：B ∈(6，8，10，12，14，15，18，20...)

　　證明過程略。

　　2)由題設條件：甲不知道答案

　　<=> A=x+y 解不唯一

　　=> A >= 5;

　　分兩種情況：

　　A=5，A=6時x，y有雙解

　　A>=7 時x，y有三重及三重以上解

　　假設 A=x+y=5

　　則有雙解

　　x1=1，y1=4;

　　x2=2，y2=3

　　代入公式B=x*y：

　　B1=x1*y1=1*4=4;(不滿足推論1，舍去)

　　B2=x2*y2=2*3=6;

　　得到唯一解x=2，y=3即甲知道答案。

　　與題設條件："甲不知道答案"相矛盾，

　　故假設不成立，A=x+y≠5

　　假設 A=x+y=6

　　則有雙解。

　　x1=1，y1=5;