theorem :: XPRIMES2:365

canceled;