Remark. The values of ttt and ddd produced by the program have the absolute values as close each other as possible (Proof = ?). They differ very often only by 1 when xxx and yyy are two successive prime numbers, e.g.