set x = Bottom B;
take [(Bottom B),(Bottom B)] ; :: according to XBOOLE_0:def 1 :: thesis: [(Bottom B),(Bottom B)] in B squared
thus [(Bottom B),(Bottom B)] in B squared ; :: thesis: verum