theorem :: FINTOPO6:1

canceled;