Conjecture solved positively

I’ve proved this conjecture.

See my book (which also contains a pointfree version of this theorem).