σημάνθηκε η $1 του $2 ως θεωρημένη $3