theorem :: NUMBER05:22

for n being Nat st n > 6 holds
ex a, b being Nat st
( a > 1 & b > 1 & n = a + b & a,b are_coprime )