[seqfan] Sum of proper divisors of Fibonacci numbers A139095 A005478

[Richard Mathar]

The sequence
http://research.att.com/~njas/sequences/A139095
shows Fibonacci numbers F which have a sum of proper divisors which is
again a Fibonacci number. So far this contains 1 and the elements
of http://research.att.com/~njas/sequences/A005478 .
It is obvious that all elements of A005478 (prime Fibonacci numbers)
are in A139095 because the only proper divisor of these is 1 which sums to
1, which is a Fibonacci number.

So the question is: is A139095 just the union {1, A005478}?

Richard