theorem :: XPRIMES2:5721

canceled;