hasElementaryProof

P96495
predicate

Indicates that there exists a proof of the statement using only elementary methods, without relying on advanced or sophisticated theories.

Try in SPARQL

All labels observed (1)

Label Occurrences
hasElementaryProof canonical 1

Sample triples (1)

Subject Object
prime number theorem yes ⓘ