Both are supported by proofs.
Αμφότερες υποστηρίζονται από αποδείξεις.