:: deftheorem defines satisfies_Sierpinski_problem_48 NUMBER07:def 1 :
for n being Nat holds
( n satisfies_Sierpinski_problem_48 iff ex a, b, c being Nat st
( n = (a + b) + c & a > 1 & b > 1 & c > 1 & a,b,c are_mutually_coprime ) );