theorem :: XPRIMES2:6664

canceled;