theorem :: XPRIMES2:7684

canceled;