theorem :: XPRIMES2:4512

canceled;