The below is wrong! The proof requires to be a principal filter what does not necessarily hold.
I knew that composition of two complete funcoids is complete. But now I’ve found that for to be complete it’s enough to be complete.
The proof which I missed for years is rather trivial:
Thus is complete.
I will amend my book when (sic!) it will be complete.