theorem Th15: :: NUMBER15:15

for n being Nat holds
( divisors ((2 |^ n),4,3) = {} & divisors ((2 |^ n),4,1) = {1} )