Aserto XNUMX simpligas al la formo: