theorem Th7: :: NUMBER07:7

for a, b, c being Nat st (a + b) + c is odd & a,b,c are_mutually_coprime holds
( a is odd & b is odd & c is odd )