theorem :: XPRIMES2:7654

canceled;