6 lines
104 B
OpenEdge ABL
6 lines
104 B
OpenEdge ABL
|
tff(goal, conjecture,
|
||
|
|
![X: $int] : (
|
||
|
|
$greater(X, 1) => $greater($product(X, X), X)
|
||
|
|
)
|
||
|
|
).
|