In Euclid's Elements, a prime is defined as other than 1. The "complex theorem" that relies on this was probably due to Pythagoras, but is so old and fundamental that no one knows for sure.